多任务时间规划冲突检测方法

摘要：针对多任务的时间规划问题,基于Simple Temporal Networks(STN)时态表示模型和时态推理方法,提出了一种时间冲突检测的智能方法,并对该方法给予了数学证明。实验表明,该方法能够检测出基于STN表示的作战方案的时间冲突,并对任务时间规划提供参考范围,可有效辅助指挥员快速制定作战方案的时间规划。     

THE AU MISSION IN BURUNDI

Abstract

Even though the Movimento Popular de Libertação de Angola (Popular Movement for the Liberation of Angola, MPLA) managed to take firm control of the state as the war ended in 2002, this article contends that its hegemony is not absolute. At the fringes of the state administration, emerging regional elites have established associations that seek to provide a remedy against the centralised system, which essentially deprives regions of political influence and sufficient economic resources. As in many other countries on the African continent, political identities that were legally enforced and institutionally reproduced in colonial times have hardly been transcended in the post-colonial period. Even if the associations' influence today does not yet reach further than bringing some insecurity to an otherwise secure polity dominated by the MPLA, the associations could play a role in reinforcing strong regional solidarity and give political expression to feelings of exclusion. Such sentiments could in turn lead to an increase of exclusivity ideas about citizenship, or even xenophobic violence. Much will depend on the strategies of the MPLA, and to what extent it will accommodate these emergent forces in the post-war era, not the least through the current sub-national state reforms.     

‘God willing,I will be back’: Gauging the Truth and Reconciliation Commission's capacity to deter economic crimes in Liberia

Recently, in July 2012, the high-profile and bitterly fought nine-month race for the post of Chair of the African Union (AU) Commission, between Dr Jean Ping of Gabon, and his main challenger, Dr Nkosazana Dlamini-Zuma, culminated in the latter's victory. Her victory came after the deadlock at the Eighteenth AU Summit in January 2012. Borne out of the considered need for a quick fix through reliance on a vote of expediency, the election of Dr Dlamini-Zuma represented a political resolution to the crisis that arose due to the earlier ongoing electoral deadlock. Far from being a competitive election by design, the 2012 AU Commission election by default became transformed into an intensely fought campaign that put the AU in the limelight. This article briefly introduces the electoral process, explains in detail the voting behaviour of AU member states, and offers five specific reasons for the victory of Dr Dlamini-Zuma. On the surface the election looks very competitive, but the article explains why this is not the case. To create greater competition for these posts, the AU needs to overhaul the nomination process and the voting procedure. In this regard, the article proffers detailed analysis and proposes a radical revision of the existing criteria for the nomination. The article also proposes specific recommendations for the amendment of the rules of procedure of the AU Assembly to allow for a qualified majority as a deadlock breaker in the fifth round. It also assesses whether the integrity of the AU Commission election was damaged during the campaigning and voting process. In this regard, it recommends the development of a code of conduct for future elections at the AU.     

应用局部约束二维稀疏表示识别SAR图像目标

在分析典型稀疏表示分类方法和局限性的基础上,提出了一种基于局部约束的二维稀疏表示方法,以有效解决SAR图像目标识别问题。该方法对SAR图像进行图像预处理,在兼顾图像相邻列(行)对应稀疏表示系数邻近性和样本间局部性的基础上,构建了局部约束目标函数,并通过解闭式解,实现稀疏表示系数的更新求解。利用美国实测MSTAR数据对算法进行了仿真验证,实验结果表明所提出的方法可实现SAR图像目标的有效识别,并对训练样本数目具有一定的鲁棒性。     

弹道目标微多普勒特性基于逆Radon变换的稀疏表示

作为识别空间弹道目标的有效方法,微多普勒特性提取对于雷达系统的时频分辨率提出了很高的要求,因此,要求雷达系统具有更高的采样频率。作为近年来新兴的技术手段,在远低于奈奎斯特采样定理的采样频率下,压缩感知技术可以对具有稀疏特性的信号实现高精度还原。对空间弹道目标时频分布进行逆Radon变换,在变换后的IRT域内获得时频分布的稀疏表示,从而可以借助压缩感知技术有效降低采样频率的要求。     

基于ICA的多姿态人脸表示

将独立成分分析(ICA)应用于多姿态人脸识别。对比分析了ICA和主成分分析(PCA)两种人脸识别方法的差异,并重点研究了多姿态人脸的独立成分(IC)表示。在基于权向量幅值的方法基础上,引入了基于比例因子的IC核选择的新方法。实验表明,新方法有利于提高识别的准确率和识别的效率。     

Beltrami流及其在图像去噪中的应用

偏微分方程是图像处理主要的方法之一,一般通过其对应的变分模型给出方程的意义,并依此设计优化原偏微分方程以取得最佳的处理效果。针对图像去噪问题,基于经典的Beltrami几何流方法提出了图像流形上一种新的度量张量模型,具有该度量模型的Beltrami流具有清晰的几何意义,并依此提出了该度量模型中参数的优化选择方法。同时,该模型为经典的偏微分方程去噪方法提供了统一框架,且参数的优化选择使得Beltrami流在平滑噪声与边缘保持方面取得了良好的平衡。实验表明该方法提高了图像去噪效果,尤其是对于边缘丰富的图像效果更加明显。     

《连续系统建模》的计算机辅助学习与考核系统

本文介绍了一个用于《连续系统建模》学习与考核的计算机辅助教学课件的功能和设计原理,重点介绍了系统动力学模型图的知识表达和建模行为的有效性度量的方法。     

关于半鞅的可料表示性

利用鞅空间H1的泛函表示定理、泛函分析中的Hahn-Banach定理、半鞅向量随机积分的Girsanov定理,获得了半鞅可料表示性的特征。由于使用的是半鞅的向量随机积分,它推广了经典的结论。     

采用区分性幅相联合字典学习的低截获概率信号分离方法

为解决采用字典学习的信号分离方法存在的相位信息缺失和子字典交叉表示问题，提出一种区分性幅相联合字典学习方法。该方法针对相位信息缺失问题，构建了幅相联合字典模型；针对混合信号在联合字典上投影时存在的交叉表示问题，基于区分性字典学习思想提出在字典学习过程目标函数中加入交叉表示抑制项。仿真结果表明：幅相联合字典能够充分表示典型低截获概率信号的幅相信息，交叉表示抑制项能有效抑制信号间的交叉表示，算法具有良好的分离性能。